#include "junix.h"
using namespace std;

class A;

class A
{};

int main(int argc, char **argv)
{
	A *pa=0;
	delete pa;
	boost::checked_delete(pa);

}
